基于Z形式化规范的多Agent协作模型研究

用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。     

基于能力分析的雷达系统抗箔条云压制干扰研究*

为了研究雷达系统抗箔条云压制干扰能力,根据箔条云压制干扰特点,从箔条云散射面积、雷达在干扰条件下最大作用距离和战术要求最小距离三个方面,对雷达系统抗箔条云压制干扰能力的度量指标进行了分析,并就评估方案集进行了计算,最后对结果进行了分析。提供了一种雷达系统抗箔条云压制干扰能力分析的思路,其原理具有较好的推广价值。     

对法学教学方法选择与设计的探讨

教学方法是提高教学质量的重要途径.该文将法学教育的特殊性与教学方法的一般性相结合,面向未来,理论联系实际,在从各方面论述选择和设计法学教学方法依据的基础上,从法学教学实践出发,集思广益,博采众长,总结和归纳出了一些行之有效的法学教学方法,并详略兼顾地作了操作上的说明.     

论国外开发落后地区的财政金融政策──兼谈对我国西部大开发的借鉴

国外在开发落后地区的政策方面已经积累了许多成功的经验和失败的教训。财政政策上涉及转移支付、财政补助、政府赠款、政府采购、税收优惠等。金融政策上涉及优惠贷款、贷款担保、资金跨区流动、投资基金等。这些对我国西部大开发都有着一定的借鉴意义。     

利用CPLD技术实现数字通信中的同步设计

介绍了利用复杂可编程逻辑阵列 (CPLD)实现数字通信中的关键技术———位同步、群同步 ,描述了CPLD技术在工程应用中的优势 ,给出了同步实用电路和在VHF无线数字通信系统中的应用     

陆军战术导弹蓄电池维护与检测方案研究

根据自动化程度高、综合性能强、使用可靠的原则 ,提出了陆军战术导弹蓄电池维护与检测的系统方案 ,采用单片机控制系统实现了多型号蓄电池的自动维护与检测     

防空兵武器装备信息化程度测评体系研究

建立测评体系,从宏观角度对防空兵装备信息化发展水平做出定量评估是防空兵信息化建设决策的需要。本文结合我防空兵装备编配实际和信息化防空作战对防空兵武器装备的要求建立了其测评指标体系。运用幂指数法和线性加权法建立了防空兵武器装备信息化评估模型。并以某防空旅为例进行了实例测评,能够反映该旅的武器装备信息化真实水平,证明建立的测评体系是可行和正确的。     

气相色谱法测定发射药中双安定剂成分的含量

采用丙酮石油醚混合溶剂对单樟-11A-8/1发射药中的两种安定剂(二苯胺和二号中定剂)进行提取,并使用SP2100气相色谱仪的FID检测器和TCD检测器对提取液中两种安定剂的浓度进行了测定,进而得到了两种安定剂在单樟-11A-8/1发射药中的百分含量。实验结果表明,FID检测器比TCD检测器检测精度高。采用FID检测器时,实验结果重复性很高,能够满足对单樟-11A-8/1发射药进行质量监控的需要。     

特征量积和IHS变换的多源遥感图像融合方法

以高空间分辨率的SAR图像和高光谱分辨率的TM图像为例,提出了一种基于特征量积和IHS变换的多源遥感图像融合方法.该方法首先对TM图像作IHS变换,得到亮度I、色度H与饱和度S三个分量;其次,依据特征量积准则融合TM图像的亮度分量和SAR图像,并用融合结果替代TM图像的亮度分量;最后,作IHS反变换得到融合图像.实验结果表明,与IHS法和小波变换法相比,方法快速、简洁,在保持光谱信息与增强空间细节信息两个方面的综合性能均得到提高.     

沉浸式虚拟维修仿真中的穿越处理问题研究

沉浸式虚拟维修环境下,物体间发生穿越的碰撞问题可以分为3类:1点接触,2点接触和3点及3点以上接触。采用改变碰撞物体的运动方向和距离的方式来避免物体间穿越现象的发生。并以实例的方式对其有效性进行了验证。